Knihy od autora Ana Cavalcanti

Zobrazené 1 – 9 z 9 výsledkov

1. 
   Novinka

   Fundamental Approaches to Software Engineering

   Dirk Beyer, Ana Cavalcanti | Springer, Berlin, 2024

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 15 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   64.48 €

   Kúpiť
2. 

   FM 2009: Formal Methods

   Ana Cavalcanti, Dennis Dams | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 15 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   139.29 €

   Kúpiť
3. 

   Software Engineering for Robotics

   Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock | Springer Nature Switzerland AG, 2022

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 15 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   175.57 €

   Kúpiť
4. 

   Refinement Techniques in Software Engineering

   Ana Cavalcanti, Augusto Sampaio, Jim Woodcock | Springer, Berlin, 2006

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 15 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   70.71 €

   Kúpiť
5. 

   Theoretical Aspects of Computing - ICTAC 2006

   Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 15 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   70.71 €

   Kúpiť
6. 

   Formal Methods and Software Engineering

   Karin Breitman, Ana Cavalcanti | Springer, Berlin, 2009

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 15 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   139.29 €

   Kúpiť
7. 

   Testing Techniques in Software Engineering

   Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   50 % šanca - Prehľadáme celý svet

   Jazyk: Angličtina

   Väzba: Brožovaná

   57.53 €

   Kúpiť
8. 

   Theoretical Aspects of Computing

   Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock | Springer, Berlin, 2010

   
   

   50 % šanca - Prehľadáme celý svet

   Jazyk: Angličtina

   Väzba: Brožovaná

   57.53 €

   Kúpiť
9. 

   Critical Systems: Formal Methods and Automated Verification

   Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti | Springer International Publishing AG, 2017

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 15 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   70.71 €

   Kúpiť

Získali sme ocenenie Shop roka 2014 - finalista. Zistite viac